Frege's theorem